Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
181	Efficient Software Implementation of Binary Field Arithmetic Using Vector Instruction Sets Diego F. Aranha Department of Computer Science University of Bras´ılia Joint work with Add to Reading List Source URL: caramba.inria.fr Language: English - Date: 2016-02-23 03:15:08
182	MPIR The Multiple Precision Integers and Rationals Library EditionNovemberOriginal Authors: Torbjorn Granlund and the GMP Development Team Add to Reading List Source URL: www.mpir.org Language: English - Date: 2015-11-20 13:22:42 Compiling tools Cross-platform software Build automation Computer arithmetic Configure script Object-oriented programming languages GNU Multiple Precision Arithmetic Library Autoconf GNU Libtool MPIR Automake Cross compiler
183	Automationdirect.com Direct Logic 205 Triple Port BASIC CoProcessor F2-CP128 Order Number: F2-CP-M Add to Reading List Source URL: facts-eng.com Language: English - Date: 2013-08-15 08:22:35 Computer architecture Computing Central processing unit Computer arithmetic Coprocessor Heterogeneous computing IEEE floating point Operand
184	Rounding Errors in Complex Floating-Point Multiplication Colin Percival IRMACS, Simon Fraser University Add to Reading List Source URL: www.daemonology.net Language: English - Date: 2006-08-06 05:27:53 Computer arithmetic Mathematics Computing Theoretical computer science Unit in the last place Rounding IEEE floating point NaN Double-precision floating-point format Q Denormal number Exponentiation
185	de Bordeaux), 27{41 Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2011-09-21 10:12:03 Computer arithmetic Binary arithmetic Exponentials Coding theory Hamming weight Exponentiation by squaring Binary number Integer Division algorithm Exponentiation
186	J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version Add to Reading List Source URL: www.labri.fr Language: English - Date: 2014-03-17 06:03:51 Mathematics Algebra Mathematical logic Logic in computer science Model theory Proof theory Presburger arithmetic Time complexity Generalized arithmetic progression Polynomial Vector space Lattice
187	A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Logic Mathematics Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Simplex algorithm Satisfiability
188	Improving Brumley and Boneh Timing Attack on Unprotected SSL Implementations Onur Acıic¸mez Werner Schindler Add to Reading List Source URL: tls.mbed.org Language: English - Date: 2016-01-19 07:39:30 Computer arithmetic Modular arithmetic Finite fields Multiplication E-commerce RSA Exponentiation by squaring Montgomery modular multiplication Modular exponentiation Timing attack Multiplication algorithm XTR
189	Learning Arithmetic Circuits Daniel Lowd and Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A. Add to Reading List Source URL: uai2008.cs.helsinki.fi Language: English - Date: 2008-05-16 11:55:43
190	Manual Order Number: F2-CP M Add to Reading List Source URL: facts-eng.com Language: English - Date: 2013-08-15 08:22:35 Computer architecture Computing Central processing unit Computer arithmetic IEEE standards Coprocessor Heterogeneous computing IEEE floating point RS-232 Computer

UPDATE